James - PDFSEARCH.IO - Document Search Engine

James
Results: 61490

#	Item
21	Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-05-20 08:33:12 Formal languages IP Mathematics Grammar Theoretical computer science Nested stack automaton Indexed grammar
22	CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers James Larisch∗ Bruce M. Maggs‡ ∗ Northeastern Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:42 Cryptography Transport Layer Security Public key infrastructure Public-key cryptography Cryptographic protocols Key management Online Certificate Status Protocol Certificate revocation list X.509 Certificate authority OCSP stapling Public key certificate
23	SRL Early Edition Interactive Visualization of Spatially Amplified GNSS Time-Series Position Fields by Brendan J. Meade, William T. Freeman, James Add to Reading List Source URL: summit.fas.harvard.edu Language: English - Date: 2016-11-29 14:35:57 Global Positioning System Geodesy Synthetic aperture radar Navigation Satellite navigation UNAVCO Measurement Technology Geomatics
24	Picocenter: Supporting long-lived, mostly-idle applications in cloud environments Liang Zhang† James Litton‡ Frank Cangialosi‡ § Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2017-10-27 11:43:58 Cloud computing Computing Cloud infrastructure As a service Cloud storage Serverless computing Google App Engine Paging Heroku Virtualization Platform as a service Infrastructure as a service
25	August 22, 2018 Department of Finance James M. Flaherty Building 90 Elgin St. Ottawa, ON Via: Add to Reading List Source URL: www.acpm.com Language: English - Date: 2018-08-24 08:39:58 Economy Finance Money Pensions in Canada Pension Personal finance Social law Canada Pension Plan Income tax in the United States
26	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 , Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:11:06 Theoretical computer science Logic in computer science Computational complexity theory Formal methods Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Model checking
27	Synthesizing Memory Models from Framework Sketches  and Litmus Tests James Bornholt  Emina Torlak Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:19 Computing Compiler construction Software engineering Computer memory Concurrency Programming language design Compiler Programming language implementation Consistency model Memory model Kernel
28	Internet Scale Research Studies using SDL-R X James Kizer, Arnaud Sahuguet The Foundry @ Cornell Tech Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-10-02 21:39:22 Computing Computer architecture Smartphones Software CareKit Health informatics MHealth Mobile app development IOS Mobile app Android Health
29	James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016 Add to Reading List Source URL: www.cs.uwyo.edu Language: English - Date: 2016-10-31 17:07:05 Automated theorem proving Theoretical computer science Computing Mathematics Nuprl Interactive Theorem Proving Proof assistant Robert Lee Constable ACL2 Formal methods Computer science Automated reasoning

UPDATE